System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
871	1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-21 10:50:57 Data types Computer programming Object-oriented programming Primitive types Programming paradigms Type system Subtype polymorphism Soundness Reference Software engineering Type theory Computing
872	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: ftp.cixug.es Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
873	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.csiro.au Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
874	Technology in the Spotlight… CitectSCADA Reporting from CitectSCADA Add to Reading List Source URL: www.thereportcompany.com Language: English - Date: 2013-12-18 17:44:52 Relational database management systems Application programming interfaces Software Microsoft SQL Server Windows Server System Opc server Select OPC Historical Data Access OPC Foundation Automation Technology Computing
875	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
876	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-11 21:15:24 C++ C++ classes Reference Initialization C Pointer Struct Typeid Type system Software engineering Computer programming Computing
877	Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:06:13 Computer programming Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Foreach loop Software engineering Computing Type theory
878	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: ftp.igh.cnrs.fr Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
879	Modeling Cooperative Multi-Agent Systems Gregory Gelfond1 and Richard Watson2 Texas Tech University Abstract. Current work in the application of answer-set programming for the development of reasoning agents has largely Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:09 Computing Symbol Multi-agent system Prolog
880	Notes on GenICode c Miguel Garcia, STS, Hamburg University of Technology http://www.sts.tu-harburg.de/people/mi.garcia February 22, 2010 Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2010-02-23 04:30:28 Java programming language Functional languages Cross-platform software Assembly languages Procedural programming languages Java ALGOL 68 Iterator Type system Computing Software engineering Computer programming

UPDATE